bstc reasoning model paper